Michaël Rusinowitch And NotFranche-Comté
List of bibliographic references
Number of relevant bibliographic references: 99.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002656 | Yannick Chevalier [France] ; Mohamed Anis Mekki [France] ; Michaël Rusinowitch [France] | Orchestration under Security Constraints |
| 003094 | Yannick Chevalier [France] ; Michaël Rusinowitch [France] | Decidability of Equivalence of Symbolic Derivations |
| 003180 | Yannick Chevalier [France] ; Michaël Rusinowitch [France] | Compiling and securing cryptographic protocols |
| 003877 | Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Unification Modulo Homomorphic Encryption |
| 003900 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
| 003971 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Data Structures with Arithmetic Constraints: A Non-disjoint Combination |
| 003984 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Combinable Extensions of Abelian Groups |
| 004B52 | Yannick Chevalier [France] ; Denis Lugiez [France] ; Michaël Rusinowitch [France] | Verifying Cryptographic Protocols with Subterms Constraints |
| 004B58 | Yannick Chevalier [France] ; Denis Lugiez [France] ; Michaël Rusinowitch [France] | Towards an Automatic Analysis of Web Service Security |
| 004D04 | Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms |
| 005401 | Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Z Linescu [France] | Relating Two Standard Notions of Secrecy |
| 005471 | Yannick Chevalier [France] ; Michaël Rusinowitch [France] | Hierarchical Combination of Intruder Theories |
| 005603 | Abdessamad Imine [France] ; Michaël Rusinowitch [France] ; Gérald Oster [France] ; Pascal Molli [France] | Formal design and verification of operational transformation algorithms for copies convergence |
| 005D12 | Abdessamad Imine ; Michaël Rusinowitch ; Gérald Oster ; Pascal Molli | Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence |
| 005D28 | Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël Rusinowitch | Towards Synchronizing Linear Collaborative Objects with Operation Transformation |
| 005D45 | Alessandro Armando ; David Basin ; Yohan Boichut ; Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Pierre-Cyril Héam ; O. Kouchnarenko ; Jacopo Mantovani ; Sebastian Mödersheim ; David Von Oheimb ; Michaël Rusinowitch ; Judson Santos Santiago ; Mathieu Turuani ; Luca Vigano ; Laurent Vigneron | The AVISPA Tool for the automated validation of internet security protocols and applications |
| 006170 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Towards Synchronizing Linear Collaborative Objects with Operational Transformation |
| 006286 | Yannick Chevalier [France] ; Michaël Rusinowitch [France] | Combining Intruder Theories |
| 006302 | Alessandro Armando [Italie] ; David Basin [Suisse] ; Jorge Cuellar [Allemagne] ; Michaël Rusinowitch [France] ; Luca Vigan [Suisse] | Automated Reasoning for Security Protocol Analysis |
| 006380 | Yannick Chevalier [France] ; Ralf Küsters [Allemagne] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | An NP decision procedure for protocol insecurity with XOR |
| 006777 | Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël Rusinowitch | Deductive Verification of Distributed Groupware Systems |
| 006855 | Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël Rusinowitch | Achieving Convergence with Operational Transformation in Distributed Groupware Systems |
| 006C18 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Deductive Verification of Distributed Groupware Systems |
| 006C95 | Tarek Abbes [France] ; Adel Bouhoula [Tunisie] ; Michaël Rusinowitch [France] | Protocol analysis in intrusion detection using decision tree |
| 006F93 | Siva Anantharaman [France] ; Paliath Narendran [France] ; Michaël Rusinowitch [France] | How Useful are Dag Automata? |
| 007454 | Hubert Comon-Lundh [France] ; Paliath Narendran [États-Unis] ; Robert Nieuwenhuis ; Michaël Rusinowitch [France] | Deciding the Confluence of Ordered Term Rewrite Systems |
| 007648 | Abdessamad Imine ; Pascal Molli ; Gérald Oster ; Michaël Rusinowitch | Proving Correctness of Transformation Functions in Real-Time Groupware |
| 007A30 | Michaël Rusinowitch [France] ; Sorin Stratulat [France] ; Francis Klay [France] | Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm |
| 007A61 | Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions |
| 007B50 | Michaël Rusinowitch [France] ; Mathieu Turuani [France] | Protocol insecurity with a finite number of sessions and composed keys is NP-complete |
| 007B67 | Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [États-Unis] | Deciding the security of protocols with Diffie-Hellman Exponentiation and products in exponents |
| 007B76 | Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France] | A rewriting approach to satisfiability procedures |
| 007D19 | Siva Anantharaman ; Paliath Narendran [France] ; Michaël Rusinowitch [France] | ACID-Unification is NEXPTIME-Decidable |
| 007D29 | Siva Anantharaman [France] ; Paliath Narendran [France] ; Michaël Rusinowitch [France] | Unification modulo ACUI plus Homomorphisms/Distributivity |
| 008538 | Imine Abdessamad ; Pascal Molli ; Gérald Oster ; Michaël Rusinowitch | Development of Transformation Functions Assisted by a Theorem Prover |
| 008902 | Adel Bouhoula [Tunisie] ; Michaël Rusinowitch [France] | Observational proofs by rewriting |
| 008C62 | Alessandro Armando ; Silvio Ranise [France] ; Michaël Rusinowitch [France] | Uniform Derivation of Decision Procedures by Superposition |
| 008C85 | Michaël Rusinowitch [France] ; Mathieu Turuani [France] | Protocol Insecurity with Finite Number of Sessions is NP-complete |
| 008D22 | Julien Musset [France] ; Michaël Rusinowitch [France] | An effective fixed point calculus for deterministic systems applied to model checking |
| 008D25 | Alessandro Armando [Italie] ; Michaël Rusinowitch [France] ; Sorin Stratulat [France] | Incorporating Decision Procedures in Implicit Induction |
| 009256 | Alessandro Armando [Italie] ; Silvio Ranise [Italie, France] ; Michaël Rusinowitch [France] | Uniform Derivation of Decision Procedures by Superposition |
| 009466 | Michaël Rusinowitch [France] | Vérification et réécriture |
| 009467 | Michaël Rusinowitch [France] | Vérification automatique de protocoles cryptographiques avec CASRUL |
| 009540 | Michaël Rusinowitch [France] | Uniform Derivation of Satisfiability Procedures |
| 009541 | Alessandro Armando ; Silvio Ranise [France] ; Michaël Rusinowitch [France] | Uniform Derivation of Decision Procedures by Superposition |
| 009551 | Michaël Rusinowitch [France] | The practice of cryptographic protocols verification |
| 009586 | Michaël Rusinowitch [France] | Rewriting for Deduction and Verification |
| 009598 | Michaël Rusinowitch [France] ; Mathieu Turuani [France] | Protocol Insecurity with Finite Number of Sessions is NP-complete |
| 009642 | Alessandro Armando [Italie] ; Michaël Rusinowitch [France] ; Sorin Stratulat [Italie] | Incorporating Decision Procedures in Implicit Induction |
| 009645 | Julien Musset [France] ; Michaël Rusinowitch [France] | Improved Subsumption for CLP-based Verification |
| 009666 | Michaël Rusinowitch [France] ; Mathieu Turuani [France] | Deciding insecurity for non-atomic keys |
| 009693 | Rakesh Verma [États-Unis] ; Michaël Rusinowitch [France] ; Denis Lugiez | Algorithms and Reductions for Rewriting Problems |
| 009E47 | Gregory Kucherov [France] ; Michaël Rusinowitch [France] | Patterns in Words versus Patterns in Trees: A Brief Survey and New Results |
| 009E64 | Michaël Rusinowitch [France] ; Sorin Stratulat [France] ; Francis Klay [France] | Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm |
| 009F16 | Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France] | Compiling and Verifying Security Protocols |
| 00A123 | Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | The theory of total unary RPO is decidable |
| 00A183 | Michaël Rusinowitch [France] ; Sorin Stratulat [France] ; Francis Klay [France] | Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm |
| 00A251 | Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France] | Compiling and Verifying Security Protocols |
| 00A252 | Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron | Compiling and Verifying Security Protocols |
| 00A312 | Michaël Rusinowitch [France] ; Sorin Stratulat [France] ; Francis Klay [France] | Mechanical Verification of a Generic Incremental ABR Conformance Algorithm |
| 00AC40 | Paliath Narendran ; Michaël Rusinowitch [France] | Rewriting Techniques & Applications |
| 00AC51 | Adel Bouhoula [France] ; Ahmed Jebali [France] ; Michaël Rusinowitch [France] | Reasoning about Object Behaviours with Rewriting. |
| 00AC60 | Gregory Kucherov [France] ; Michaël Rusinowitch [France] | Patterns in words versus patterns in trees : a brief survey and new results |
| 00AC79 | Michaël Rusinowitch [France] ; Sorin Stratulat [France] ; Francis Klay | Mechanical Verification of a Generic Incremental ABR Conformance Algorithm |
| 00AC88 | Alessandro Armando [France] ; Gilles Defourneaux [France] ; Michaël Rusinowitch [France] ; Sorin Stratulat [France] | Integrating decision procedures in Spike |
| 00AD39 | Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France] | Compiling and narrowing cryptographic protocols |
| 00AD49 | Francis Klay [France] ; Michaël Rusinowitch [France] ; Sorin Stratulat [France] | Analysing Feature Interactions with Automated Deduction Systems |
| 00B093 | Narjes Berregeb ; Adel Bouhoula ; Michaël Rusinowitch | Observational Proofs with Critical Contexts |
| 00B338 | Narjes Berregeb [France] ; Adel Bouhoula [France] ; Michaël Rusinowitch [France] | Observational proofs with critical contexts |
| 00B594 | Richard Mayr [France] ; Michaël Rusinowitch | Reachability is decidable for ground AC Rewrite systems |
| 00B595 | Paliath Narendran [France] ; Michaël Rusinowitch ; Rakesh Verma | RPO constraint solving is in NP |
| 00B596 | Paliath Narendran [France] ; Michaël Rusinowitch ; Rakesh Verma | RPO constraint solving is in NP |
| 00B616 | Narjes Berregeb [France] ; Adel Bouhoula ; Michaël Rusinowitch | Observational Proofs with Critical Contexts |
| 00B668 | Hubert Comon [France] ; Paliath Narendran ; Robert Nieuwenhuis ; Michaël Rusinowitch | Decision problems in ordered rewriting |
| 00B692 | Francis Klay [France] ; Michaël Rusinowitch [France] ; Sorin Stratulat [France] | Analysing Feature Interactions with Automated Deduction Systems |
| 00B700 | Rakesh Verma [France] ; Michaël Rusinowitch ; Denis Lugiez | Algorithms and Reductions for Rewriting Problems |
| 00BB32 | Gregory Kucherov [France] ; Michaël Rusinowitch [France] | Matching a set of strings with variable length don't cares |
| 00BD50 | Narjes Berregeb [France] ; Adel Bouhoula [France] ; Michaël Rusinowitch [France] | Observational Proofs by Implicit Context Induction |
| 00BD56 | Rakesh M. Verma [France] ; Michaël Rusinowitch [France] ; Denis Lugiez [France] | Algorithms and Reductions for Rewriting Problems |
| 00C023 | Narjes Berregeb [France] ; Adel Bouhoula [France, États-Unis] ; Michaël Rusinowitch [France] | SPIKE-AC: A system for proofs by induction in Associative-Commutative theories |
| 00C090 | Narjes Berregeb [France] ; Adel Bouhoula [France] ; Michaël Rusinowitch [États-Unis, France] | Automated verification by induction with associative-commutative operators |
| 00C093 | Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Any ground associative-commutative theory has a finite canonical system |
| 00C607 | Gregory Kucherov [France] ; Michaël Rusinowitch [France] | Undecidability of ground reducibility for word rewriting systems with variables |
| 00C647 | Adel Bouhoula [France] ; Emmanuel Kounalis [France] ; Michaël Rusinowitch [France] | Automated Mathematical Induction |
| 00C692 | Gregory Kucherov [France] ; Michaël Rusinowitch [France] | The complexity of testing ground reducibility for linear word rewriting systems with variables |
| 00C709 | Adel Bouhoula [France] ; Michaël Rusinowitch [France] | SPIKE: a system for automatic inductive proofs |
| 00C714 | Emmanuel Kounalis [France] ; Michaël Rusinowitch [France] | Reasoning with conditional axioms |
| 00C736 | Gregory Kucherov [France] ; Michaël Rusinowitch [France] | Matching a set of strings with variable length don't cares |
| 00C747 | Adel Bouhoula [France] ; Michaël Rusinowitch [France] | Implicit induction in conditional theories |
| 00C780 | Michaël Rusinowitch [France] ; Laurent Vigneron [France] | Automated deduction with associative-commutative operators |
| 00C832 | Eric Monfroy [France] ; Michaël Rusinowitch [France] ; René Schott | Implementing Non-Linear Constraints with Cooperative Solvers |
| 00CD93 | Adel Bouhoula [France] ; E. Kounalis ; Michaël Rusinowitch | Automated mathematical induction |
| 00D248 | Michaël Rusinowitch [France] ; Laurent Vigneron [France] | Automated deduction with associative commutative operators |
| 00D643 | Adel Bouhoula [France] ; Emmanuel Kounalis [France] ; Michaël Rusinowitch [France] | SPIKE, an automatic theorem prover |
| 00DA83 | Emmanuel Kounalis [France] ; Michaël Rusinowitch [France] | Automatic proof methods for algebraic specifications |
| 00DA85 | Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Any ground associative-commutative theory has a finite canonical system |
| 00DA91 | Emmanuel Kounalis [France] ; Michaël Rusinowitch [France] | A proof system for conditional algebraic specifications |
| 00DE62 | Béchir El. Ayeb [France] ; Pierre Marquis [France] ; Michaël Rusinowitch [France] | A new diagnosis approach by deduction and abduction |
| 00DE70 | Claude Kirchner [France] ; Hélène Kirchner ; Michaël Rusinowitch | Deduction with symbolic constraints |
| This area was generated with Dilib version V0.6.33. |  |